141. Models, languages, and tools for concurrent and distributed programming :
پدیدآورنده: Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: De Nicola, Rocco.,Logic design.,Software engineering.,Logic design.,Software engineering.
رده :
QA76
.
758
.
M63
2019
142. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده: Francesca Tarocco.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
143. Multiagent System Technologies
پدیدآورنده: edited by Franziska Klügl, Sascha Ossowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
144. OOER '95:
پدیدآورنده: Michael P. Papazoglou (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Software engineering.
145. Objects and systems :
پدیدآورنده: Bernard P. Zeigler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),Object-oriented programming (Computer science),Objektorientierte Programmierung
رده :
QA76
.
73
.
C153
B476
1997
146. On the Move to Meaningful Internet Systems:
پدیدآورنده: Pilar Herrero [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
147. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
148. Perspectives of System Informatics :
پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
149. Perspectives of Systems Informatics
پدیدآورنده: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
150. Picture Engineering
پدیدآورنده: edited by King-sun Fu, Tosiyasu L. Kunii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
TA1632
.
E358
1982
151. Post-quantum cryptography :
پدیدآورنده: edited by Tanja Lange, Rainer Steinwandt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data encryption (Computer science), Congresses.,Quantum computers, Congresses.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Information Theory.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Quantum computers.,Software Engineering.
رده :
QA76
.
9
.
A25
152. Principles of robotics & artificial intelligence /
پدیدآورنده: editor, Donald R. Franceschetti, PhD.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Robotics.,Artificial intelligence.,Robotics.
رده :
TJ211
.
P75
2018
153. Progamming Language Implementation and Logic Programming :
پدیدآورنده: edited by Maurice Bruynooghe, Jaan Penjam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
154. Program Specification :
پدیدآورنده: edited by Jørgen Staunstrup.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1982
155. Programming Language Implementation and Logic Programming :
پدیدآورنده: edited by Jan Maluszyński, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
156. Programming Languages and Systems -- ESOP '94 :
پدیدآورنده: edited by Donald Sannella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
157. Programming Languages and Systems -- ESOP '96 :
پدیدآورنده: edited by Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
158. Programming Logic and Design, Comprehensive
پدیدآورنده: / Joyce Farrell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
159. Programming Logic and Design, Comprehensive
پدیدآورنده: / Joyce Farrell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
160. Programming Logic and Design: Comprehensive
پدیدآورنده: / Joyce Farrell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
